#!/bin/sh

# Kill parent rmiserver
ppid=`ps -eaf | grep rmiserver | grep -v grep | awk '{ print $2 }' | sort -n | head -1`
if [ ! -z "$ppid" ];then
        echo "Stopping HBAnyware Web Launch Server"
	kill $ppid > /dev/null 2>&1
fi

# Kill any remaining child of rmiserver 
for ppid in `ps -eaf | grep rmiserver | grep -v grep | awk '{ print $2 }' | sort -n`
do
	kill -9 $ppid > /dev/null 2>&1
done

# If 'All' command line option is specified, then kill rmiregistry as well
if [ "$1" = "-all" ]; then
    ppid=`ps -eaf | grep rmiregistry | grep -v grep | awk '{ print $2 }' | sort -n`
    if [ ! -z "$ppid" ]; then
        echo "Stopping RMIRegistry Server"
        kill -9 $ppid > /dev/null 2>&1
    fi
fi


